Словарь по логике - противопоставление предикату

вид непосредственного умозаключения, в котором субъектом вывода является понятие, противоречащее предикату посылки, предикатом является субъект посылки, а связка изменяется на противоположную символически: (S есть Р./ не-Р не есть S.)

П. п. представляет собой соединение превращения с обращением, поэтому при его выполнении следует сначала произвести превращение посылки, а затем обратить получившееся суждение: превращаем "S есть Р", получаем "S не есть не-Р", затем обращаем последнее суждение и приходим к выводу "не-Р не есть S". Затруднения здесь носят чисто грамматический характер. Чтобы избежать их, следует формулировать связку в явном виде и фиксировать отрицания. Из общеутвердительного суждения следует общеотрицательный вывод; из общеотрицательного суждения следует частноутвердительный вывод; из частноотрицательного суждения следует частноутвердительный вывод; из частноутвердительного суждения нельзя получить вывод путем П. п.